\begin{frame}
\frametitle{Prototype}
\begin{itemize}
\item C++
\item MiniZinc
\item SQL output (Insert statements)
\item Multiple solvers (G12/CPX, Gecode, ECLiPSE, SICtus Prolog, JaCoP, SCIP)
\item Free software, available at http://gpd.sip.ucm.es/trac/gpd/wiki/GpdSystems/STCG
\end{itemize}
\end{frame}

\subsection{Pipeline}
\begin{frame}
\frametitle{Prototype: Pipeline}
\begin{figure}[h!]
  \centering
    \includegraphics[width=\textwidth]{pipeline1}    
    %\caption{Diagrama UML de los módulos que componen el sistema y sus dependencias.}
    \label{fig:pipeline1}
\end{figure}
\begin{figure}[h!]
  \centering
    \includegraphics[width=\textwidth]{pipeline2}    
    %\caption{Diagrama UML de los módulos que componen el sistema y sus dependencias.}
    \label{fig:pipeline2}
\end{figure}
\end{frame}

\subsection{Scope}
\begin{frame}[fragile]
\frametitle{Introduction: Scope}
\begin{itemize}
\item \textbf{Foreign and primary keys} \begin{verbatim}PRIMARY KEY, FOREIGN KEY \end{verbatim}
\item \textbf{Unions and intersections} \begin{verbatim}UNION, INTERSECTION \end{verbatim}
\item \textbf{Arithmetic and logic expressions} in  FROM and SELECT sections
\begin{itemize}
\item \textbf{Logic expressions}
 \begin{verbatim}
AND, OR, NOT, =, <, <=, =>,<> 
\end{verbatim}
\item \textbf{Arithmetic expressions} 
\begin{verbatim}
+, -, /, *
\end{verbatim}
\end{itemize}
\item \textbf{Integer types}
\begin{verbatim}
INT, INTEGER
\end{verbatim}
\item \textbf{Basic queries} of the form \cod{SELECT} E1 ... En \cod{FROM} R1 ... RM \cod{WHERE} C
\item \textbf{Nested SQL Queries}
\begin{verbatim}
EXISTS, NOT EXISTS
\end{verbatim}
\end{itemize}
\end{frame}
\begin{frame}
The supported SQL code has the following restrictions
\begin{itemize}
\item \textbf{\cod{FROM} clause without subqueries}. Without lose of generality because the subqueries in \cod{FROM} can be substituted by views admitted in our tool.
\item \textbf{\cod{DISTINCT} is not allowed}.\cod{DISTINCT} operator can be substituted by equivalent aggregate queries (not supported in the current version of the prototype).
\item \textbf{{MINUS} operator, \cod{JOIN} operations and NULL values not supported}
\item \textbf{Recursive queries} are not supported.
\end{itemize}

\end{frame}